Evidence-Fabricating in Asymmetric Conflicts: How Weak Actors Prove False Propaganda Narratives

How To Prove Theorems Formally

3 How to Prove Important

In this paper, we show that a variety of important philosophical claims that Saul Kripke has advanced in his work are either provable in, or validated by, the theory of abstract objects (hereafteròbject theory'). 1 We'll investigate both metaphysical claims and claims concerning language which appear in Kripke's work. To establish that one of Kripke's metaphysical claims is provable in object t...

How to Prove Algorithms Linearisable

Linearisability is the standard correctness criterion for concurrent data structures. In this paper, we present a sound and complete proof technique for linearisability based on backward simulations. We exemplify this technique by a linearisability proof of the queue algorithm presented in Herlihy and Wing’s landmark paper. Except for the manual proof by them, none of the many other current app...

How Mathematicians Prove Theorems 1

This paper analyzes how mathematicians prove theorems. The analysis is based upon several empirical sources such as reports of mathematicians and mathematical proofs by analogy. In order to combine the strength of traditional automated theorem provers with human-like capabilities, the questions arise: Which problem solving strategies are appropriate? Which representations have to be employed? A...

How to prove existence in shape optimization

This paper deals with the existence question in optimal design. We present a general variational technique for proving existence, and give several examples concerning functionals of eigenvalues and of energy type. In particular, we show how the isoperimetric problem for the Dirichlet eigenvalues of an elliptic operator of general order fit into this frame.